Development of simulation-based testing environment for safety-critical software
نویسندگان
چکیده
منابع مشابه
Software Development for Simulation of Reformer Furnace
In recent years, lots of research has been done on effective usage of natural gas; the first step in these processes is conversion of natural gas to Syngas. Natural gas reforming process by refomer furnace is commonly used for syngas and hydrogen production. In this paper, a windows based software, RIPI-RefSim, is introduced. By using proper heat, mass, kinetic and thermodynamic models as w...
متن کاملTesting the Reliability of Component-Based Safety Critical Software
Testing remains a fundamentally important way to check that a software program behaves as required, but a weakness of testing is that successful testing only leads to informal quality statements. Even where quantitative methods are employed, it is not clear how the objective statements (e.g. 100% code coverage has been achieved) relate to the statements that are really useful such as “the softw...
متن کاملEmbedded Software Development For Safety Critical Systems
Title Type embedded software development for safety-critical systems PDF mission-critical and safety-critical systems handbook design and development for embedded applications PDF software engineering for embedded systems chapter 17 multicore software development for embedded systems this chapter draws on material from the multicore guide mpp from the multicore association PDF embedded systems ...
متن کاملCoding Regulations for Safety Critical Software Development
This paper presents some limits and irregularities in current standards for safety critical software development, and suggests ways to improve the state of the art. The need for well organized, rigorous and verifiable coding regulations to promote the development of software with predictable quality and safety characteristics is explained. We show specific examples of weaknesses in standards an...
متن کاملTechniques for Safety Critical Software Development
Although the dreams of artificial intelligence have not been realized (despite the recent success of IBM in chess), it is apparent that software control of machines is quickly permeating our lives in many ways – some seen, some hidden. NASA is clearly dependent on computers to fly the space shuttle or to run the planned space station. Many commercial and military aircraft alike require computer...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nuclear Engineering and Technology
سال: 2018
ISSN: 1738-5733
DOI: 10.1016/j.net.2018.02.007